﻿#region Assembly mscorlib.dll, v4.0.30319
// C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\.NETFramework\v4.0\mscorlib.dll
#endregion

using System;

namespace System.Diagnostics.Contracts
{
    /// Summary:
    ///     Specifies the type of contract that failed.
    public enum ContractFailureKind
    {
        /// Summary:
        ///     A Overload:System.Diagnostics.Contracts.Contract.Requires contract failed.
        Precondition = 0,
        ///
        /// Summary:
        ///     An Overload:System.Diagnostics.Contracts.Contract.Ensures contract failed.
        Postcondition = 1,
        ///
        /// Summary:
        ///     An Overload:System.Diagnostics.Contracts.Contract.EnsuresOnThrow contract
        ///     failed.
        PostconditionOnException = 2,
        ///
        /// Summary:
        ///     An Overload:System.Diagnostics.Contracts.Contract.Invariant contract failed.
        Invariant = 3,
        ///
        /// Summary:
        ///     An Overload:System.Diagnostics.Contracts.Contract.Assert contract failed.
        Assert = 4,
        ///
        /// Summary:
        ///     An Overload:System.Diagnostics.Contracts.Contract.Assume contract failed.
        Assume = 5,
    }
}
